Alan Wassyng: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Software tools for safety-critical software development

Alan Wassyng, Mark Lawford

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 680 KB

english, 2006

2

[IEEE 2017 IEEE 28th International Symposium on Software Reliability Engineering: Workshops (ISSREW) - Toulouse (2017.10.23-2017.10.26)] 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Principles for Systematic Development of an Assurance Case Template from ISO 26262

Chowdhury, Thomas, Lin, Chung-Wei, Kim, BaekGyu, Lawford, Mark, Shiraishi, Shinichi, Wassyng, Alan

Year:

2017

Language:

english

File:

PDF, 310 KB

english, 2017

3

[IEEE 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) - San Francisco, CA, USA (2013.05.25-2013.05.25)] 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Though this be madness, yet there is method in it? (Keynote)

Year:

2013

Language:

english

File:

PDF, 659 KB

english, 2013

4

Formal verification of function blocks applied to IEC 61131-3

Pang, Linna, Wang, Chen-Wei, Lawford, Mark, Wassyng, Alan

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.15 MB

english, 2015

5

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Challenges in eHealth: From Enabling to Enforcing Privacy

Liu, Zhiming, Wassyng, Alan

Year:

2012

Language:

english

File:

PDF, 186 KB

english, 2012

6

A Software Certification Consortium and its Top 9 Hurdles

John Hatcliff, Mats Heimdahl, Mark Lawford, Tom Maibaum, Alan Wassyng, Fred Wurden

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 181 KB

english, 2009

7

[ACM Press the - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the on Future of Software Engineering - FOSE 2014 - Certifiably safe software-dependent systems: challenges and directions

Hatcliff, John, Wassyng, Alan, Kelly, Tim, Comar, Cyrille, Jones, Paul

Year:

2014

Language:

english

File:

PDF, 501 KB

english, 2014

8

[ACM Press the ninth ACM international conference - Taipei, Taiwan (2011.10.09-2011.10.14)] Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11 - Software certification experience in the canadian nuclear industry

Wassyng, Alan, Lawford, Mark S., Maibaum, Thomas S.E.

Year:

2011

Language:

english

File:

PDF, 372 KB

english, 2011

9

[ACM Press the Sixth International Symposium - Hue City, Viet Nam (2015.12.03-2015.12.04)] Proceedings of the Sixth International Symposium on Information and Communication Technology - SoICT 2015 - Stateflow to Tabular Expressions

Singh, Neeraj Kumar, Lawford, Mark, Maibaum, Thomas S. E., Wassyng, Alan

Year:

2015

Language:

english

File:

PDF, 261 KB

english, 2015

10

Raising the Bar: Assurance Cases for Scientific Computing Software

Smith, Spencer, Sayari Nejad, Mojdeh, Wassyng, Alan

Journal:

Computing in Science & Engineering

Year:

2020

File:

PDF, 5.92 MB

2020

11

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Towards a Formal Integrated Model of Collaborative Healthcare Workflows

Liu, Zhiming, Wassyng, Alan

Year:

2012

Language:

english

File:

PDF, 327 KB

english, 2012

12

Secure and trusted partial grey-box verification

Cai, Yixian, Karakostas, George, Wassyng, Alan

Journal:

International Journal of Information Security

Year:

2019

Language:

english

File:

PDF, 1.56 MB

english, 2019

13

A memory of debt and mirth

Journal:

Transactions of the Royal Society of South Africa

Year:

2010

Language:

english

File:

PDF, 134 KB

english, 2010

14

[IEEE 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE) - Berlin, Germany (2019.10.28-2019.10.31)] 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE) - Criteria to Systematically Evaluate (Safety) Assurance Cases

Chowdhury, Thomas, Wassyng, Alan, Paige, Richard F., Lawford, Mark

Year:

2019

File:

PDF, 1.02 MB

2019

15

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18 - Assurance cases for scientific computing software

Smith, Spencer, Nejad, Mojdeh Sayari, Wassyng, Alan

Year:

2018

Language:

english

File:

PDF, 590 KB

english, 2018

16

Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?

Wassyng, Alan, Singh, Neeraj Kumar, Geven, Mischa, Proscia, Nicholas, Wang, Hao, Lawford, Mark, Maibaum, Tom

Journal:

IEEE Design and Test

Year:

2015

Language:

english

File:

PDF, 572 KB

english, 2015

17

[ACM Press the 2010 Conference of the Center for Advanced Studies - Toronto, Ontario, Canada (2010.11.01-2010.11.04)] Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research - CASCON '10 - Software certification consortium

Wassyng, Alan, Lawford, Mark, Maibaum, Tom, Weber, Jens, Hatcliff, John

Year:

2010

Language:

english

File:

PDF, 474 KB

english, 2010

18

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Model Checking Workflow Monitors and Its Application to a Pain Management Process

Liu, Zhiming, Wassyng, Alan

Year:

2012

Language:

english

File:

PDF, 465 KB

english, 2012

19

Integrated software methodologies – An engineering approach

Wassyng, Alan, Lawford, Mark

Journal:

Transactions of the Royal Society of South Africa

Year:

2010

Language:

english

File:

PDF, 3.17 MB

english, 2010

20

Software engineering practices and Simulink: bridging the gap

Pantelic, Vera, Postma, Steven, Lawford, Mark, Jaskolka, Monika, Mackenzie, Bennett, Korobkine, Alexandre, Bender, Marc, Ong, Jeff, Marks, Gordon, Wassyng, Alan

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2017

Language:

english

File:

PDF, 2.66 MB

english, 2017

21

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - A Call Graph Mining and Matching Based Defect Localization Technique

Yousefi, Anis, Wassyng, Alan

Year:

2013

Language:

english

File:

PDF, 353 KB

english, 2013

22

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump

Liu, Zhiming, Wassyng, Alan

Year:

2012

Language:

english

File:

PDF, 254 KB

english, 2012

23

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Medical Protocol Diagnosis Using Formal Methods

Liu, Zhiming, Wassyng, Alan

Year:

2012

Language:

english

File:

PDF, 423 KB

english, 2012

24

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata

Liu, Zhiming, Wassyng, Alan

Year:

2012

Language:

english

File:

PDF, 910 KB

english, 2012

25

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery

Liu, Zhiming, Wassyng, Alan

Year:

2012

Language:

english

File:

PDF, 507 KB

english, 2012

26

The most suitable person to establish quality assurance guidelines for the generation and use of noncommercial clinical software is a medical physicist

Kelly, Diane, Wassyng, Alan, Orton, Colin G.

Journal:

Medical Physics

Year:

2014

Language:

english

File:

PDF, 436 KB

english, 2014

27

Understanding Integrity Level Concepts

Joannou, Paul, Wassyng, Alan

Journal:

Year:

2014

Language:

english

File:

PDF, 1.11 MB

english, 2014

28

[IEEE 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Florence, Italy (2015.5.18-2015.5.18)] 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering - A Methodology for the Simplification of Tabular Designs in Model-Based Development

Bialy, Monika, Lawford, Mark, Pantelic, Vera, Wassyng, Alan

Year:

2015

Language:

english

File:

PDF, 211 KB

english, 2015

29

[ACM Press the 21th ACM/IEEE International Conference - Copenhagen, Denmark (2018.10.14-2018.10.19)] Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18 - Assurance via model transformations and their hierarchical refinement

Diskin, Zinovy, Maibaum, Tom, Wassyng, Alan, Wynn-Williams, Stephen, Lawford, Mark

Year:

2018

Language:

english

File:

PDF, 2.80 MB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски